Method in Creating a Symbol Pattern, Symbol Pattern Obtained Thereby, Method and System for Finding a Position in Such Symbol Pattern and Computer Program Product for Performing the Method

ABSTRACT

The invention relates to a method in creating a two-dimensional symbol pattern which may be utilized to determine a position in a large area covered by the pattern, for example for recording handwritten information by means of a pen-like instrument. The invention is useful for creating a symbol pattern having desired properties, namely that any sufficiently large observed part of the pattern is unique, enabling an unambiguous determination of position. The symbol pattern is based on a non-repeating sequence of symbol values Sk that each corresponds to a fixed linear combination of the coefficients of the monomials in xk mod P(x), where P(x) is any polynomial of degree n in the field Fq. The symbol pattern is generated by folding the sequence according to a wrapping scheme. The invention also relates to methods and systems for finding the position of a group of observed symbol values in this symbol pattern and computer program products performing the methods.

CROSS-REFERENCE TO RELATED APPLICATIONS

The present application claims the benefit of Swedish patent application No. 0401812-3 and U.S. provisional patent application No. 60/585,856, which were both filed on Jul. 8, 2004 and which are hereby incorporated by reference.

FIELD OF THE INVENTION

The present invention relates to a method in creating a two-dimensional symbol pattern which may be utilized to determine a position in a large area covered by the pattern, for example for recording handwritten information by means of a pen-like instrument. The invention is useful for creating a symbol pattern having desired properties enabling an unambiguous determination of position.

The invention also relates to methods and systems for finding the position of a group of observed symbol values in this symbol pattern and computer program products performing the methods.

STATE OF THE ART

In this field it is previously known to form patterns which may be scanned into a pen-like instrument incorporating memory and computer power for calculating the position of the pen relative to the pattern, e.g. printed on a paper or displayed on a computer screen.

It is also known to generate repeating or non-repeating sequences by means of linear feedback shift registers (LFSR). A non-repeating sequence has the property that each sub-sequence of a given number of consecutive values only occurs once in the sequence. Thus, in a non-repeating sequence the place of each sub-sequence of a given length is unambiguously determined. It is known to wrap or fold such a non-repeating sequence to a two-dimensional symbol pattern and finding a location in such a pattern. See for example published patent applications US 2004/0085287, US 2004/0085302, US 2004/0086181, and US 2004/0086191, all assigned to Microsoft Corporation.

SUMMARY OF THE INVENTION

The problem with the wrapped sequences in the prior art is that there is no way of telling if such a two-dimensional pattern, obtained by wrapping a non-repeating sequence, has the desired properties, namely that any sufficiently large observed part of the pattern is unique. If it is not unique is it not possible to determine its location without ambiguity.

The present invention provides tools for formulating a condition governing the relationship between an observed group (mask) in the symbol pattern and a valid non-repeating sequence. Furthermore, the present invention provides efficient techniques to test whether a wrapped sequence has adequate properties for position determination, as well as to recover a position within the symbol pattern.

The invention is defined in the attached claims.

BRIEF DESCRIPTION OF THE DRAWINGS

The invention will be described in detail below with reference to the accompanying drawings in which:

FIG. 1 is an example of a wrapped sequence embodied as a symbol pattern;

FIG. 2 is a schematic illustration of a linear feedback shift register; and

FIG. 3 is a schematic illustration of an exemplary mask defining an observed subset of the symbol pattern.

FIG. 4 is a schematic side view, partly in section, of a pen-shaped detection device according to an embodiment of the invention.

DETAILED DESCRIPTION OF PREFERRED EMBODIMENTS

For a better understanding, we describe the mathematics behind the invention, of which some also forms part of the prior art. The following terms and definitions will be used.

Terms and Definitions

-   S sequence of elements S_(k) -   L length of S (k=0 to L−1), -   P^(W) symbol pattern formed by sequence S and wrapping scheme W -   P(x) polynomial of degree n -   n degree of polynomial P(x) and size of LFSR -   N rank of T -   r_(k) residual polynomial of degree n, and defined as r_(k)≡x^(k)     (mod P(x)) counting in F_(q)[x]/P(x); -   F_(q) finite field of order q, where typically, but not necessarily,     q=2 -   G(f(x)) auxiliary function, e.g. coefficient of the monomial x^(n−1)     in r_(k) -   W wrapping scheme -   w wrap length (when wrapping rowwise or columnwise) -   B mask=column vector of elements observed by means of a geometrical     scan pattern (=ball) -   B′ ditto, with another scan pattern -   B^(P) subdivision of symbol pattern -   m size of B (=“k×l”, if rectangular scan pattern); (m≧n) -   C column vector of coefficients (of size n) of the residual     polynomial r_(k) corresponding to a location k in the sequence S -   T transform matrix T, fulfilling B=TC, T has rank N=n -   T′ transform matrix T′, fulfilling B=T′C, T has rank N=n−j -   X,Y sought position (e.g. top left corner or “first” element of B if     B is of irregular shape) -   B_(X,Y) elements of B (and B′) at sought position (X,Y) -   C_(X,Y) coefficients in C corresponding to sought position (X,Y) -   k location in the sequence S where the coefficients in C equal     C_(X,Y) -   H check matrix fulfilling HT=0, and with unique non-zero columns -   h_(i) column i of H, a syndrome of a bit error occurring at bit i of     B -   LFSR linear feedback shift register

The first task is to create a symbol pattern P^(W) having desired properties. This may be done by forming and wrapping a long non-repeating sequence S and then checking that the transform relationship represented by the transform matrix T between a sufficiently large observed mask and the sequence fulfils a stipulated condition. An example of a symbol pattern is shown in FIG. 1, in which white and black pixels represent symbol values 1 and 0, respectively. Thus, the symbol pattern is made up of an ordered set of symbols that each represents at least one symbol value or element of the sequence S.

Although the following discussion is based upon the sequence S being made up of binary symbol values, the underlying principles of the invention are generally applicable to symbol values in any base (i.e. for any order q of the field F_(q)).

It is well known that a linear feedback shift register LFSR can be used to produce long non-repeating binary sequences such that any large enough subsequence is unique within the sequence. An n-size LFSR is a simple computational device consisting of n bit holders labelled r₀, r₁, . . . , r_(n−1), connected along a closed directed circuit, and at least one XOR-gate, for example as shown in FIG. 2. The device is updated at discrete times t₀, t₁ . . . At time t_(k), k>0, every bit holder is simultaneously updated with the value calculated at the end of the arrow pointing to it. The contents C_(k)=(c₀ ^((k)), c₁ ^((k)), . . . , c_(n−1) ^((k))) at time t_(k) is called the state of the LFSR at time t_(k). At time t₀, the state is e.g. {1, 0, 0, . . . , 0}. At each time t_(k), the bit contained in r_(n−1) is shifted out to produce the k:th bit of the binary sequence S. The generated sequence S may have a period of at most 2^(n)−1 since there are this many unique states, and indeed, for some LFSR:s the period of the sequence is this long. Another property which is desirable for the purposes of the present invention is that any subsequence of n consecutive bits in the period is unique.

In the example of FIG. 2, the LFSR includes five bit holders and an XOR gate. The illustrated LFSR represents the polynomial P(x)=x⁵+x²+1 and may generate a non-repeating sequence of a certain length depending on P(x) and the initial values of the bit holders. More details on LFSR:s and generation of repeating and non-repeating sequences are, i.a., found in “Introduction to finite fields and their applications”, Chapter 6—Linear Recurring Sequences, by R. Lidl and H. Niederreiter, Revised Edition 1994, Cambridge University Press.

The LFSR is a practical device for generating the sequence. Fortunately, the LFSR also admits a natural mathematical treatment in terms of generators in polynomial rings, which we describe next.

Let F₂ be the binary field. Let F₂[x] be the field of all polynomials in x with coefficients from F₂. Finally, let R(x,P(x)) for a polynomial P(x) in F₂[x] denote the ring consisting of the elements x^(k) for k=0,1,2, . . . in F₂[x]/P(x), i.e. x^(k) modulo P(x), where each monomial coefficient is in F₂. The smallest positive o such that x^(o)−1 is dividable by P(x) in F₂[x] is called the order of the ring.

The ring R(x,P(x)) is related to a LFSR in the following way. Let n be the degree of P(x), and consider an n-size LFSR with XOR gates between c_(L−1) and c_(L) for each monomial x^(L) in p(x). Now observe that the state C_(k)=(c₀ ^((k)), c₁ ^((k)), . . . , c_(n−1) ^((k))) of the LFSR at time t_(k) obeys ${\sum\limits_{j = 0}^{n - 1}\quad{c_{j}^{(k)}x^{j}}} \equiv {x^{k}\left( {{mod}\quad{P(x)}} \right)}$ since multiplication by x corresponds to a shift of the LFSR, and subtraction to give the remainder after division by P(x) corresponds to the XOR gates' calculation. Stated otherwise, the state of the LFSR can be uniquely identified with an element of R(x,P(x)). Thus, the period of the LFSR generated sequence equals the order of R(x,P(x)). Especially, LFSR:s corresponding to a primitive polynomial of degree n in F₂[x] generate periodic sequences of period 2^(n)−1 such that all possible 0/1-strings of length n except the all-zero string occur once (and only once) in the sequence.

For convenience, we introduce some auxiliary notation. Let ${r_{k}(x)} = {\sum\limits_{j = 0}^{n - 1}\quad{c_{j}^{(k)}x^{j}}}$ and for any polynomial f(x), let G(f(x)) be 1 if the monomial x^(n−1) is part of the residue polynomial f(x) mod P(x), and 0 otherwise.

Equipped with our observations so far, we are ready to establish a connection between the k:th bit S_(k) of the LFSR generated sequence S, and the state of the LFSR any time in the past.

Fact 1: The k:th bit S_(k) of the LFSR generated sequence S obeys S_(k)=G(r_(k−Δt)(x)x^(Δt)), for any Δt≧0.

Given an n-size LFSR sequence S, we want to characterize when the pattern P^(W) obtained by wrapping S row-wise each w:th symbol, gets the property that any large enough submatrix is unique in P^(W). Formally, the entry P^(W)(X,Y) at row Y and column X in the pattern is given by: P^(w)(X,Y)=S_(Yw+X).

We want to relate the LFSR state C_(k) to the a×b-submatrix in P^(W) with top left corner in (X,Y) with k=Yw+X. The above Fact 1 lets us do just that: P ^(w)(X+u,Y+v)=G(r _(k)(x)x ^(vw+u))

Since G(f(x)) is a linear function, we may put the equation above in matrix form as: $\begin{pmatrix} {P^{w}\left( {X,Y} \right)} \\ {P^{w}\left( {{X + 1},Y} \right)} \\ \vdots \\ {P^{w}\left( {{X + b - 1},Y} \right)} \\ {P^{w}\left( {X,{Y + 1}} \right)} \\ \vdots \\ {P^{w}\left( {{X + b - 1},{Y + a - 1}} \right)} \end{pmatrix} = {\begin{pmatrix} {G\left( x^{0} \right)} & \quad & {G\left( x^{n - 1} \right)} \\ {G\left( x^{1} \right)} & \quad & {G\left( x^{n} \right)} \\ \quad & \quad & \quad \\ {G\left( x^{b - 1} \right)} & \cdots & {G\left( x^{b + n - 2} \right)} \\ {G\left( x^{w} \right)} & \quad & {G\left( x^{w + n - 1} \right)} \\ \quad & \quad & \quad \\ {G\left( x^{{w{({a - 1})}} + b - 1} \right)} & \quad & {G\left( x^{{w{({a - 1})}} + b + n - 2} \right)} \end{pmatrix}\begin{pmatrix} c_{0}^{(k)} \\ c_{1}^{(k)} \\ \vdots \\ c_{n - 1}^{(k)} \end{pmatrix}}$

For brevity, let us write this relation as B=TC, where B is the pattern submatrix vector, T is the linear transform from LFSR state to pattern submatrix, and C is the LFSR state vector. We postulate our main theorem:

Theorem: Let P(x) in F₂[x] be a polynomial of degree n. Let L be the order of R(x,P(x)). Then, the pattern P^(W) obtained from the sequence S of length L generated by the LFSR for R(x,P(x)), has the property that any a×b-submatrix in P^(W) is unique if the corresponding T has rank n over F₂. Furthermore, this is also a necessary requirement when the order is maximal (L=2^(n)−1).

The pattern P^(W) described above was obtained by wrapping the sequence S row-wise each w:th symbol. Alternatively, other embeddings or wrapping schemes of the sequence may be used to form a two-dimensional pattern, e.g. column-wise wrapping each w:th symbol, or diagonal embedding of the sequence. Still other embeddings may do, but preferably the difference between the indices of the sequence elements at adjacent positions is constant. To clarify, for each position (X,Y) in the pattern, we have associated a unique location k in the sequence S, which we may denote by q(X,Y)=k, meaning that the symbol value S_(k) is at position (X,Y) in the pattern. Now, if q(X+1,Y)−q(X,Y)mod L, and q(X,Y+1)−q(X,Y)mod L are constant, regardless of the choice of position (X,Y), distinct advantages may be obtained with the present invention, as will be clarified further on.

Furthermore, the inventive techniques admit not only the wrapping scheme to be altered, but may also be used to investigate uniqueness and handle position decoding of arbitrary shapes of a group of symbols/symbol values as opposed to merely a rectangle as above. We will in the following give an example of a pattern in which groups of symbol values in the shape of a small ball are unique, and the wrapping scheme includes columnwise wrapping.

Consider the following polynomial: P(x)=x ¹⁶ +x ¹⁵ +x ¹³ +x ¹⁰ +x ⁸ +x ⁷ +x ⁵ +x ⁴ +x ³ +x+1,

and define the vector: r_(k)≡x^(k)(modP(x))

counting in F₂[x]/P(x).

Since P(x) is a primitive polynomial, the first k>0 for which r_(k)=r₀ is k=2¹⁶−1.

We consider the pattern obtained by wrapping the sequence G(r_(k)) for k=0,1,2, . . . ,2¹⁶−2, where G(f(x)) for any polynomial f(x) is the (binary) coefficient of the monomial x¹⁵ in f(x) mod P(x). Generally, G(f(x)) may be any linear combination of the coefficients of the monomials in f(x) mod P(x).

An example of a symbol pattern P^(W) is shown in FIG. 1 where white and black pixels represent symbol values 1 and 0, respectively. The sequence starts in the upper left corner and runs downwards, wrapping each 187 bit, starting from the top again, in the next column to the right of the previous one. The choice of the sequence, i.e. P(x) and the wrap length 187 is not arbitrary. On the contrary, they are chosen with great care in order to obtain some desirable decoding properties.

Firstly, we want to ensure that every large enough area of the pattern is unique within the pattern, and admits fast inversion, i.e. a fast algorithm locating the coordinates within the pattern of the seen area.

Secondly, we would prefer an error resistant embedding, i.e. an ability to calculate the coordinates of a seen portion of bits also in the presence of a few erroneously interpreted bits.

An example of a group of symbol values (in the following called mask or ball B) is shown in FIG. 3. The symbol pattern given above has the following properties:

-   -   1. Any group of symbol values, e.g. of the shape in FIG. 3, is         unique within the pattern, i.e. if we see a ball anywhere in the         pattern, we are able to tell where the seen ball is located in         the pattern. Furthermore, it is possible to do this much faster         than searching through the complete pattern for a match, and         still using significantly less storage than employing a large         lookup-table containing all possible ball-to-position pairs.     -   2. If at most one of the 21 symbol values (bits) in a ball seen         anywhere in the pattern is erroneously interpreted or missing,         we can detect this and calculate its proper value fast. Note         that this requires that any two different balls in the pattern         must differ in at least three symbol values.

How was the choice of P(x) in combination with wrap length 187 verified to have these properties? This was accomplished by relating r_(k), accounting for the (imaginary) top left corner G(r_(k)) of the ball (position (X,Y)), to the seen bits of the ball. Note that the bits of the ball may be written in terms of r_(k) as shown in the table below. G(r_(k)) B₀ = B₁ = B₂ = G(r_(k+w)) G(r_(k+2w)) G(r_(k+3w)) B₃ = B₄ = B₅ = B₆ = B₇ = G(r_(k+1)) G(r_(k+w+1)) G(r_(k+2w+1)) G(r_(k+3w+1)) G(r_(k+4w+1)) B₈ = B₉ = B₁₀ = B₁₁ = B₁₂ = G(r_(k+2)) G(r_(k+w+2)) G(r_(k+2w+2)) G(r_(k+3w+2)) G(r_(k+4w+2)) B₁₃ = B₁₄ = B₁₅ = B₁₆ = B₁₇ = G(r_(k+3)) G(r_(k+w+3)) G(r_(k+2w+3)) G(r_(k+3w+3)) G(r_(k+4w+3)) B₁₈ = B₁₉ = B₂₀ = G(r_(k+w+4)) G(r_(k+2w+4)) G(r_(k+3w+4))

By observing that G(r_(k+1)) may be expressed as a linear combination of the coefficients c_(i) of the monomials in $r_{k} = {\sum\limits_{i = 0}^{15}\quad{c_{i}x^{i}}}$ we may write the relation as B=TC, representing $\begin{pmatrix} B_{0} \\ B_{1} \\ \vdots \\ B_{20} \end{pmatrix} = {\begin{pmatrix} {G\left( x^{w} \right)} & {G\left( x^{w + 1} \right)} & \cdots & {G\left( x^{w + 15} \right)} \\ {G\left( x^{2\quad w} \right)} & {G\left( x^{{2w} + 1} \right)} & \cdots & {G\left( x^{{2\quad w} + 15} \right)} \\ \vdots & \vdots & ⋰ & \vdots \\ {G\left( x^{{3\quad w} + 4} \right)} & {G\left( x^{{3\quad w} + 5} \right)} & \cdots & {G\left( x^{{3\quad w} + 19} \right)} \end{pmatrix}\begin{pmatrix} c_{0} \\ c_{1} \\ \vdots \\ c_{15} \end{pmatrix}}$ according to the mathematical discussion above. Here B corresponds to the observed elements of the pattern P^(W), and C corresponds to the residual polynomial r_(k). Note that in a valid sequence S, T is only dependent on the sequence S, the wrapping scheme W and the shape of the mask B. Since the residual polynomial r_(k) (i.e. x^(k) mod P(x)), and thereby the coefficients C, can be calculated using ˜log(k) multiplications by repeated squaring using the recurrence relations: x ^(2k)=(x ^(k))² and x ^(2k+1) =x*x ^(2k) the transform matrix T can be efficiently calculated. In the present example, the main theorem (above) stipulates that we need the matrix to have rank 16 in order to obtain unique fast invertible balls. For w=187, the matrix T looks like $\begin{matrix} 0 \\ 0 \\ 1 \\ 0 \\ 1 \\ 1 \\ 1 \\ 1 \\ 0 \\ 0 \\ 1 \\ 1 \\ 0 \\ 0 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \end{matrix}\begin{matrix} 1 \\ 1 \\ 1 \\ 0 \\ 0 \\ 1 \\ 1 \\ 0 \\ 0 \\ 1 \\ 1 \\ 1 \\ 1 \\ 0 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 1 \\ 0 \end{matrix}\begin{matrix} 0 \\ 1 \\ 1 \\ 0 \\ 1 \\ 1 \\ 1 \\ 1 \\ 0 \\ 1 \\ 1 \\ 1 \\ 1 \\ 0 \\ 1 \\ 1 \\ 0 \\ 0 \\ 1 \\ 1 \\ 0 \end{matrix}\begin{matrix} 1 \\ 1 \\ 1 \\ 0 \\ 1 \\ 1 \\ 1 \\ 1 \\ 0 \\ 1 \\ 1 \\ 0 \\ 0 \\ 0 \\ 1 \\ 1 \\ 0 \\ 0 \\ 1 \\ 0 \\ 1 \end{matrix}\begin{matrix} 1 \\ 1 \\ 1 \\ 0 \\ 1 \\ 1 \\ 0 \\ 0 \\ 0 \\ 1 \\ 1 \\ 0 \\ 0 \\ 0 \\ 1 \\ 0 \\ 1 \\ 1 \\ 1 \\ 0 \\ 0 \end{matrix}\begin{matrix} 1 \\ 1 \\ 0 \\ 0 \\ 1 \\ 1 \\ 0 \\ 0 \\ 0 \\ 1 \\ 0 \\ 1 \\ 1 \\ 0 \\ 1 \\ 0 \\ 0 \\ 1 \\ 1 \\ 1 \\ 0 \end{matrix}\begin{matrix} 1 \\ 1 \\ 0 \\ 0 \\ 1 \\ 0 \\ 1 \\ 1 \\ 0 \\ 1 \\ 0 \\ 0 \\ 1 \\ 0 \\ 1 \\ 1 \\ 0 \\ 0 \\ 0 \\ 1 \\ 1 \end{matrix}\begin{matrix} 1 \\ 0 \\ 1 \\ 0 \\ 1 \\ 0 \\ 0 \\ 1 \\ 0 \\ 1 \\ 1 \\ 0 \\ 0 \\ 0 \\ 0 \\ 1 \\ 1 \\ 0 \\ 0 \\ 1 \\ 0 \end{matrix}\begin{matrix} 1 \\ 0 \\ 0 \\ 0 \\ 1 \\ 1 \\ 0 \\ 0 \\ 0 \\ 0 \\ 1 \\ 1 \\ 0 \\ 0 \\ 0 \\ 1 \\ 0 \\ 0 \\ 1 \\ 1 \\ 1 \end{matrix}\begin{matrix} 1 \\ 1 \\ 0 \\ 0 \\ 0 \\ 1 \\ 1 \\ 0 \\ 0 \\ 0 \\ 1 \\ 0 \\ 0 \\ 0 \\ 1 \\ 1 \\ 1 \\ 0 \\ 0 \\ 1 \\ 1 \end{matrix}\begin{matrix} 0 \\ 1 \\ 1 \\ 0 \\ 0 \\ 1 \\ 0 \\ 0 \\ 0 \\ 1 \\ 1 \\ 1 \\ 0 \\ 0 \\ 0 \\ 1 \\ 1 \\ 1 \\ 1 \\ 0 \\ 1 \end{matrix}\begin{matrix} 0 \\ 1 \\ 0 \\ 0 \\ 1 \\ 1 \\ 1 \\ 0 \\ 0 \\ 0 \\ 1 \\ 1 \\ 1 \\ 0 \\ 1 \\ 0 \\ 1 \\ 1 \\ 1 \\ 0 \\ 1 \end{matrix}\begin{matrix} 1 \\ 1 \\ 1 \\ 0 \\ 0 \\ 1 \\ 1 \\ 1 \\ 0 \\ 1 \\ 0 \\ 1 \\ 1 \\ 1 \\ 1 \\ 0 \\ 1 \\ 1 \\ 1 \\ 0 \\ 0 \end{matrix}\begin{matrix} 0 \\ 1 \\ 1 \\ 0 \\ 1 \\ 0 \\ 1 \\ 1 \\ 1 \\ 1 \\ 0 \\ 1 \\ 1 \\ 1 \\ 1 \\ 0 \\ 0 \\ 1 \\ 0 \\ 1 \\ 0 \end{matrix}\begin{matrix} 1 \\ 0 \\ 1 \\ 1 \\ 1 \\ 0 \\ 1 \\ 1 \\ 1 \\ 1 \\ 0 \\ 0 \\ 1 \\ 1 \\ 0 \\ 1 \\ 0 \\ 1 \\ 1 \\ 0 \\ 0 \end{matrix}\begin{matrix} 1 \\ 0 \\ 1 \\ 1 \\ 1 \\ 0 \\ 0 \\ 1 \\ 1 \\ 0 \\ 1 \\ 0 \\ 1 \\ 0 \\ 1 \\ 0 \\ 0 \\ 0 \\ 1 \\ 0 \\ 1 \end{matrix}$ which indeed has rank 16 over F₂.

For forming a valid sequence S the following steps may be performed:

-   -   Select that the sequence S is binary, that is the field q=2.     -   Select a suitable polynomial P(x), for example with a degree of         n=16.     -   Select a wrapping scheme W, e.g. column-wise wrapping with a         wrap length w=187. It is also possible to wrap row-wise or         diagonally. For diagonal wrapping, it may be desirable for the         largest common divisor between width and height of the pattern         to be 1. In principle, however, the only requirement on the         wrapping scheme is that it maintains the relative geometrical         order and relationship between elements in the mask B and         corresponding coefficients C of the sequence S.     -   Select a mask pattern B with a specific shape and a number of         bits in, for example m=21.     -   Calculate the transform matrix T using the wrapping scheme W,         the shape of the mask B, and the polynomial P(x).     -   Check that the rank N of T=n. If so, the symbol pattern P^(W),         i.e. the sequence S wrapped with the wrapping scheme W, has the         desired properties. If not, vary one or more of the wrapping         scheme W, the shape of the mask B, and the polynomial P(x) until         the rank N of T=n.

The transform matrix T is suitably calculated by repeated squaring.

It is also possible to form a subdivision of the symbol pattern P^(W), for instance a subdivision B^(P), as shown in FIG. 1. This is useful when it is desired to produce an area covered by part of the symbol pattern P^(W), for example by printing on a sheet of paper. The first element of B^(P) at position (X,Y) is generated by calculating r_(k)≡x^(k)(mod P(x)), suitably by repeated squaring, and then evaluating G(r_(k)) to get the symbol value, for k=q(X,Y). To get the next element to the right, we may use the fact that q(X+1,Y)−q(X,Y)=d is constant, which means we can multiply r_(k) by x^(d) to get r_(k+d), and we may calculate G(r_(k+d)) to obtain the symbol value. Thus, moving to the next symbol to the right is simple when generating a portion of the pattern. Generally, given the residual polynomial r_(k) for a position (X,Y), generating the element at position (X+u,Y+v) is performed by multiplying r_(k) by a power of x corresponding to the vector (u,v), and then applying the function G.

As mentioned by way of introduction, one use of the symbol pattern may be to determine the position of a detection device moved over a displayed pattern, e.g. on paper or a computer screen. For example, Applicant's U.S. Pat. No. 6,674,427 and No. 6,667,695, which are incorporated herein by this reference, further describe handheld pen-like devices for position determination. These pen-like devices can be used for position determination according to the present invention if programmed in a suitable way.

In the following, one embodiment of such a detection device will be described with reference to FIG. 4. The detection device 400 of this embodiment comprises a pen-shaped casing or shell 401 that defines a window or opening 402, through which images are captured by a capturing means 403 which is configured to scan a number of the symbols of the pattern.

The capturing means 403 may include any kind of sensor that is suitable for imaging the symbol pattern so that an image of the symbols is obtained in black and white, in grey scale or in color. Such a sensor can be a solid-state single- or multi-chip device which is sensitive to electromagnetic radiation in any suitable wavelength range. For example, the sensor may include a CCD element, a CMOS element, or a CID element (Charge Injection Device). Alternatively, the sensor may include a magnetic sensor array for detection of a magnetic property of the symbols. Still further, the sensor may be designed to form an image of any chemical, acoustic, capacitive or inductive property of the symbols.

The detection device 400 of FIG. 4 also comprises a pen point or writing implement 404 which allows the user to point the detection device 400 to a specific location on the symbol pattern, and which optionally deposits ordinary pigment-based marking ink on the symbol pattern so that the user can see what he is writing or drawing on the symbol pattern. A contact sensor 405 is operatively connected to the pen point 404 to detect when it is applied to and/or lifted from a surface. Based on the output of the contact sensor 405, the capturing means 403 is controlled to capture, between a pen down and a pen up, images of an area near or around the pen point 401. The detection device 400 also comprises a power supply 406 such as a battery and/or a mains power connector, a communications interface 407 comprising components for wired or wireless short-range or remote communication, an MMI (Man Machine Interface) 408 such as a display, an indicator lamp, a vibrator, or a speaker for providing feedback to the user, and one or more buttons 409 allowing the user to activate and/or control the detection device 400.

The detection device 400 also contains a memory 410 for storing pattern data representing the symbols scanned by the capturing means 403, and a signal-processing arrangement 411 for performing various calculations. The signal-processing arrangement 411 may e.g. be realized by a suitably programmed processor, by specifically adapted hardware, such as an ASIC (Application-Specific Integrated Circuit), a DSP (“Digital Signal Processor”) or an FPGA (Field Programmable Gate Array), by discrete digital or analog components, or any combination thereof. Alternatively, the memory 410 and/or the signal-processing arrangement 411 may be located in an external receiving unit (not shown) in communication with the detection device 400.

The calculations made by the signal processing arrangement 411 will now be briefly explained with reference to the exemplifying mask of FIG. 3. As discussed above, the symbols scanned by the capturing means 403 are disposed in a known geometrical order and relationship relative to the sequence. We assume that the mask B is located at the position defined by the coordinates (X,Y) of the top left corner of the mask B. The observed symbols within the mask B represent symbol values, i.e. elements in the sequence S. These observed elements B_(X, Y) of the mask B correspond to specific coefficients C_(X,Y) of the sequence S. The relationship between the elements B_(X,Y) and C_(X,Y) is expressed in the matrix equation B=TC.

Finding the location of an observed mask B in the symbol pattern P^(W) may comprise the following steps. First, the elements B_(X,Y) of the mask B at position (X,Y) are captured and stored in memory. Then, the matrix equation B_(X,Y)=TC_(X,Y) is solved for C_(X,Y).

In one embodiment, the transform matrix T (suitably as a factorization allowing for quick solving), or its inverse T⁻¹, is pre-calculated for the sequence S and may be stored in the memory of the detection device/receiving unit. Also, the mask B may have a predetermined fixed shape. For successive locations at varying positions (X,Y), the corresponding coefficients C_(X,Y) are solved with the aforesaid matrix equation.

The coefficients C_(X,Y) correspond to one and only one location k in the sequence S. Once the coefficients C_(X,Y) are found, k is calculated, e.g. by means of the Silver-Pohlig-Hellman algorithm. The Silver-Pohlig-Hellman scheme finds the discrete logarithm k for which r_(k)≡x^(k) (mod P(x)) has the coefficients C_(X,Y).

Since the order of P(x) is 2¹⁶−1=3*5*17*257, and the Silver-Pohlig-Hellman algorithm is efficient whenever the largest prime of the order (in this case 257) is small enough, fast determination of k is possible.

From k the (X,Y)-coordinates of the ball's top left corner are given by (k div w,k mod w) with the column-wise wrap length of w=187.

In another embodiment, the shape of the mask B′ may be varied. For instance, the mask B′ may incorporate the three elements shown with dashed lines in FIG. 3. The number m of elements may be made constant by excluding three other elements or may be increased by incorporating more elements. This may be useful when the values of the decoded symbols are uncertain. Then, various shapes of the mask B′ may be tried until a valid transform matrix T is found. In this case, the transform matrix T, or its inverse T⁻¹, may be dynamically calculated in the detection device/receiving unit. A valid transform matrix T may be defined as having a rank N=n. Then, the matrix equation B′=TC may be solved and the location found as defined above.

The following decoding strategy may be used. Sort the interpreted symbol values according to degree of certainty, i.e., starting with the symbols whose interpretation the image processing is most certain about. Then add the symbol values one by one until the linear transform matrix gets rank n, and solve for the position. Note that any shape of the mask may be used, not only rectangles or balls of adjacent elements.

In a still further embodiment, a valid transform matrix T′ is defined as having a rank N=n−j. In this case, the matrix equation B=T′C will have maximum of 2^(j) solutions corresponding to different positions (X,Y) and locations k in the sequence S. Of course, only one solution is the correct one, and false solutions may be eliminated by overlying heuristics. For instance, false solutions may be eliminated by checking the continuity conditions (e.g. spatial distance, acceleration, etc) with respect to one or more preceding and/or succeeding positions.

It is possible to let both the mask B′ be varied and a valid transform matrix T′ be defined as having a rank N=n−j. First, various shapes of the mask B′ may be tried until a valid transform matrix T′ is found. Then the matrix equation B′=T′C with the various solutions may be solved and the false solutions eliminated.

The present invention also provides tools for performing error correction of the sampled observed bits. The null space of T^(t) (T transposed) can be evaluated by known techniques to obtain a binary matrix H with linearly independent rows fulfilling HT=0.

In the present example, H is a 5×21 matrix and H=[h₁ h₂ h₃ . . . h₂₁] is $\begin{matrix} 1 \\ 1 \\ 0 \\ 0 \\ 1 \end{matrix}\begin{matrix} 0 \\ 0 \\ 0 \\ 1 \\ 1 \end{matrix}\begin{matrix} 0 \\ 1 \\ 1 \\ 1 \\ 1 \end{matrix}\begin{matrix} 0 \\ 1 \\ 1 \\ 1 \\ 0 \end{matrix}\begin{matrix} 0 \\ 1 \\ 0 \\ 1 \\ 0 \end{matrix}\begin{matrix} 0 \\ 1 \\ 1 \\ 0 \\ 0 \end{matrix}\begin{matrix} 1 \\ 0 \\ 1 \\ 0 \\ 1 \end{matrix}\begin{matrix} 1 \\ 0 \\ 1 \\ 1 \\ 0 \end{matrix}\begin{matrix} 1 \\ 0 \\ 1 \\ 0 \\ 0 \end{matrix}\begin{matrix} 1 \\ 1 \\ 0 \\ 0 \\ 0 \end{matrix}\begin{matrix} 1 \\ 1 \\ 0 \\ 1 \\ 0 \end{matrix}\begin{matrix} 0 \\ 0 \\ 1 \\ 0 \\ 1 \end{matrix}\begin{matrix} 1 \\ 1 \\ 1 \\ 1 \\ 1 \end{matrix}\begin{matrix} 0 \\ 1 \\ 0 \\ 0 \\ 1 \end{matrix}\begin{matrix} 1 \\ 0 \\ 0 \\ 0 \\ 0 \end{matrix}\begin{matrix} 0 \\ 0 \\ 1 \\ 1 \\ 1 \end{matrix}\begin{matrix} 0 \\ 1 \\ 1 \\ 0 \\ 1 \end{matrix}\begin{matrix} 0 \\ 1 \\ 0 \\ 0 \\ 0 \end{matrix}\begin{matrix} 0 & 0 & 0 \\ 0 & 0 & 0 \\ 1 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 1 \end{matrix}$

Such a matrix H is known as the check matrix in the context of Error Correcting Codes of the linear code generated by T. Note that our H has the property that all columns hi are different from the all-zero vector and unique. Since all possible observed masks B in the pattern are on the format B=TC for some choice of coefficient vector C, a seen mask with an erroneous bit at i may be written B*=B+e_(i), with e_(i) being a column vector having value one (1) in bit position i and value zero (0) in all other positions. Multiplication with the check matrix yields: HB*=HB+He _(i) =H(TC)+He _(i)=(HT)C+He _(i)=0+He _(i) =h _(i)

This means we are able to find and correct a single error by multiplying the seen mask by H and looking up the obtained string to find the location of the error. Inverting the erroneous bit gives us the correct value, and we may solve for C using Gaussian elimination and backward substitution via T, e.g. with the Silver-Pohlig-Hellman algorithm as before.

The above error correction works equally well with a check matrix H′ associated with a transform matrix T′ having rank N=n−j (that is H′T′=0).

If we would like to find a pattern where we could allow v bits to be erroneous, we need to find a check matrix H with the property that any 2v columns are linearly independent. This is well-known from the theory of linear codes.

When the detection device is moved over a surface with the symbol pattern, for example for forming characters and images, a sequence of decoding or position finding operations is performed. There, each position may be decoded as discussed above, with a fixed or variable mask B, B′ and with a transform matrix T, T′ having rank N=n or N=n−j. The decoding scheme may also vary between positions.

The invention may be implemented with various combinations of software and hardware as will be appreciated by a person skilled in the art. The scope of the invention is only limited by the claims below. 

1-41. (canceled)
 42. A method in creating a two-dimensional symbol pattern P^(W) having the property that any subset of symbol values observed in the symbol pattern and having the size m is unique, comprising: defining a non-repeating sequence S of symbol values S_(k) that each corresponds to a fixed linear combination of the coefficients C of the monomials in x^(k) mod P(x), where P(x) is any polynomial of degree n in the field F_(q); defining a mask pattern with a defined shape and resulting in a mask vector B comprising said m symbol values to be observed; and defining a wrapping scheme W for folding the sequence into said two-dimensional symbol pattern P^(W); wherein said polynomial P(x), said mask pattern, and said wrapping scheme W are defined such that a transform matrix T that fulfils the matrix equation B=TC has rank N=n over F_(q).
 43. The method in creating a symbol pattern according to claim 42, wherein said wrapping scheme W is defined to maintain the relative geometrical order and relationship between symbol values in the mask pattern and said coefficients C.
 44. The method in creating a symbol pattern according to claim 42, wherein S_(k)=Gf(x)), and G(f(x)) for any polynomial f(x) is the coefficient of the monomial x^(n−1) in f(x) mod P(x).
 45. The method in creating a symbol pattern according to claim 42, wherein the transform matrix T is calculated by repeated squaring.
 46. The method in creating a symbol pattern according to claim 42, wherein the wrapping scheme W consists of wrapping the sequence S in rows (or columns) with a wrap length w.
 47. The method in creating a symbol pattern according to claim 42, wherein the wrapping scheme W consists of wrapping the sequence S diagonally.
 48. The method in creating a symbol pattern according to claim 42, wherein said coefficients C represent the state of a linear feedback shift register, LFSR, having the size n, with bit holders for x^(n−1) to
 1. 49. The method in creating a symbol pattern according to claim 42, wherein said wrapping scheme W is defined such that [q(X+1,Y)−q(X,Y)] mod L and [q(X,Y+1)−q(X,Y)] mod L are constant for any position (X,Y) in the symbol pattern P^(W), with q(X,Y)=k being the relationship between a position (X,Y) in the symbol pattern P^(W) and a location k in the sequence S, and L being the length of the sequence S.
 50. A method of finding a position (X,Y) of a mask B observed in a two-dimensional symbol pattern P^(W) having the property that any mask B with a defined shape and a size of at least m symbol values is unique, the symbol pattern being based on a non-repeating sequence S of symbol values S_(k) that each corresponds to a fixed linear combination of the coefficients C of the monomials in x^(k) mod P(x), where P(x) is any polynomial of degree n in the field F_(q), and the symbol pattern P^(W) being formed by folding said sequence S according to a wrapping scheme W; said method comprising: retrieving information about a relationship between the symbol values in the mask B and the corresponding coefficients C; extracting the symbol values of said mask B at said position (X,Y); calculating the corresponding coefficients C_(X,Y) from B_(X,Y) by means of said relationship, where B_(X,Y) are the extracted symbol values of B at said position (X,Y); calculating the location k in the sequence S where the coefficients C equal C_(X,Y); and calculating said position (X,Y) in the symbol pattern P^(W) based on the location k and the wrapping scheme W.
 51. The method of finding a position according to claim 50, wherein said relationship is a transform matrix T that fulfils the matrix equation B=TC and has a rank N=n over F_(q).
 52. The method of finding a position according to claim 50, wherein said relationship is a transform matrix T′ that fulfils the matrix equation B=T′C and has a rank N=n−j over F_(q); and wherein said calculating further comprises: calculating a plurality of solutions for the corresponding coefficients C_(X,Y) with B_(X,Y)=T′C_(X,Y); calculating a plurality of candidate locations k in the sequence S where the coefficients of C equal C_(X,Y); calculating a plurality of candidate positions (X,Y) in the symbol pattern P^(W) based on the locations k and the wrapping scheme W; and eliminating false candidate positions of the sought position.
 53. The method of finding a position according to claim 52, wherein the false candidate positions are eliminated by checking continuity conditions.
 54. The method of finding a position according to claim 51, further comprising: for error correction, forming a check matrix H by solving the equation HT=0; forming HB_(X,Y)=h_(i); and if h_(i)=0 maintaining B_(X,Y), but if h_(i)≠0, changing the symbol value at position i of B_(X,Y).
 55. The method of finding a position according to claim 52, further comprising: for error correction, forming a check matrix H′ by solving the equation H′T′=0; forming H′B_(X,Y)=h_(i); and if h_(i)=0 maintaining B_(X,Y), but if h_(i)≠0, changing the symbol value at position i of B_(X,Y).
 56. The method of finding a position according to claim 51, further comprising: calculating a candidate transform matrix T for each of a set of shapes of the mask B until the thus-calculated candidate transform matrix T has a rank N=n over F_(q); and selecting the thus-calculated candidate transform matrix T for use in calculating the corresponding coefficients C_(X,Y) with B_(X,Y)=TC_(X,Y).
 57. The method of finding a position according to claim 52, further comprising: calculating a candidate transform matrix T′ for each of a set of shapes of the mask B until the thus-calculated candidate transform matrix T′ has a rank N=n−j over F_(q); and selecting the thus-calculated candidate transform matrix T′ for use in calculating the corresponding coefficients C_(X,Y) with B_(X,Y)=T′C_(X,Y).
 58. The method of finding a position according to claim 57, wherein the number m of symbol values in the mask B is successively increased within said set of shapes.
 59. The method of finding a position according to claim 58, wherein the number m of symbol values in the mask B is successively increased within said set of shapes.
 60. The method of finding a position according to claim 50, wherein the wrapping scheme W comprises folding the sequence S in columns with a wrap length w, and wherein the position (X,Y) is calculated as (k div w,k mod w).
 61. The method of finding a position according to claim 50, wherein the location k in the sequence S where the coefficients C equal C_(X,Y) is calculated with an algorithm for finding the discrete logarithm of k for which r_(k)≡x^(k)(mod P(x)) has the coefficients C_(X,Y).
 62. The method of finding a position according to claim 50, which is repeated for a number of different positions of the mask B.
 63. The method of finding a position according to claim 62, wherein the shape of the mask B and said relationship are maintained fixed.
 64. A method of calculating a symbol value S_(k) in a non-repeating sequence S of symbol values that each corresponds to a fixed linear combination G of the coefficients C of the monomials in x^(k) mod P(x), where P(x) is any polynomial of degree n in the field F_(q), comprising: calculating r_(k)≡x^(k)(mod P(x)) by repeated squaring; and deriving the symbol value S_(k) from G(r_(k)).
 65. The method of calculating a symbol value according to claim 64, wherein the squaring uses the recurrence relations x^(2k)=(x^(k))² and x^(2k+1)=x·x^(2k).
 66. A method of calculating a subdivision B^(P) of a symbol pattern P^(W) having the property that any mask B with a defined shape and a size of at least m symbol values is unique, the symbol pattern being based on a non-repeating sequence S of symbol values S_(k) that each corresponds to a fixed linear combination of the coefficients of the monomials in x^(k) mod P(x), where P(x) is any polynomial of degree n in the field F_(q), and the symbol pattern P^(W) being formed by folding said sequence S according to a wrapping scheme W, said subdivision B^(P) representing a set of positions in the symbol pattern P^(W), said method comprising: retrieving said set of positions; based on the wrapping scheme W, converting at least one of said positions to a location k in the sequence S; and calculating the symbol value S_(k) for said location k with the method according to claim
 64. 67. The method of calculating a subdivision according to claim 66, wherein said wrapping scheme W is defined such that [q(X+1,Y)−q(X,Y)] mod L=d, and [q(X,Y+1)−q(X,Y)] mod L=d₂ are constant for any position (X,Y) in the symbol pattern P^(W), with q(X,Y)=k being the relationship between a position (X,Y) in the symbol pattern P^(W) and a location k in the sequence S, and L being the length of the sequence S; said method further comprising: for at least one another position which is displaced from said at least one position by a displacement vector (u,v), calculating x^(p)·r_(k), with p being a linear combination of d₁ and d₂ which is representative of said displacement vector (u,v); and deriving a symbol value for said at least one another position from G(x^(p)·r_(k)).
 68. The method of calculating a subdivision according to claim 66, wherein the subdivision B^(P) of the pattern P^(W) is adapted to cover an area to be printed.
 69. A two-dimensional symbol pattern P^(W) having the property that any mask B with a defined shape and a size of at least m symbol values is unique, comprising: a non-repeating sequence S of symbol values S_(k) that each corresponds to a fixed linear combination of the coefficients C of the monomials in x^(k) mod P(x), where P(x) is any polynomial of degree n in the field F_(q); wherein the sequence S is folded according to a wrapping scheme W into said two-dimensional symbol pattern P^(W); wherein said polynomial P(x), said mask B, and said wrapping scheme W are defined such that a transform matrix T that fulfills the matrix equation B=TC has rank N=n over F_(q).
 70. The symbol pattern according to claim 69, wherein said wrapping scheme W is defined to maintain the relative geometrical order and relationship between symbol values in the mask B and said coefficients C.
 71. The symbol pattern according to claim 69, wherein S_(k)=G(f(x)), and G(f(x)) for any polynomial f(x) is the coefficient of the monomial x^(n−1) in f(x) mod P(x).
 72. The symbol pattern according to claim 69, wherein the wrapping scheme W consists of wrapping the sequence S in rows (or columns) with a wrap length w.
 73. The symbol pattern according to claim 69, wherein the wrapping scheme W consists of wrapping the sequence S diagonally.
 74. The symbol pattern according to claim 69, wherein said wrapping scheme W is defined such that [q(X+1,Y)−q(X,Y)] mod L and [q(X,Y+1)−q(X,Y)] mod L are constant for any position (X,Y), with q(X,Y)=k being the relationship between a position (X,Y) in the symbol pattern P^(W) and a location k in the sequence S, and L being the length of the sequence S.
 75. A system for finding a position (X,Y) of a mask B observed in a two-dimensional symbol pattern P^(W) having the property that any mask B with a defined shape and a size of at least m symbol values is unique, the symbol pattern being based on a non-repeating sequence S of symbol values S_(k) that each corresponds to a fixed linear combination of the coefficients C of the monomials in x^(k) mod P(x), where P(x) is any polynomial of degree n in the field F_(q), and the symbol pattern P^(W) being formed by folding said sequence S according to a wrapping scheme W, said system comprising: memory means for storing information about a relationship between the symbol values in B and the corresponding coefficients C; and calculation means adapted to: extract the symbol values of said mask B at said position (X,Y); calculate the corresponding coefficients C_(X,Y) from B_(X,Y) by means of said relationship, where B_(X,Y) are the extracted symbol values of B at said position (X,Y); calculate the location k in the sequence S where the coefficients C equal C_(X,Y); and calculate said position (X,Y) in the symbol pattern P^(W) based on the location k and the wrapping scheme W.
 76. The system for finding a position according to claim 75, wherein said relationship is a transform matrix T that fulfils the matrix equation B=TC and has rank N=n over F_(q).
 77. The system for finding a position according to claim 75, wherein said relationship is a transform matrix T′ that fulfils the matrix equation B=T′C and has rank N=n−j over F_(q); and wherein said calculation means is adapted to: calculate a plurality of solutions for the corresponding coefficients C_(X,Y) with B_(X,Y)=T′C_(X,Y); calculate a plurality of locations k in the sequence S where the coefficients C equal C_(X,Y); calculate a plurality of candidate positions (X,Y) in the symbol pattern P^(W) based on the locations k and the wrapping scheme W; and eliminate false candidate positions of the sought position.
 78. The system for finding a position according to claim 77, wherein the calculation means is adapted to eliminate the false candidate positions by checking continuity conditions.
 79. The system for finding a position according to claim 76, further comprising error correction means adapted to form a check matrix H by solving the equation HT=0; form HB_(X,Y)=h_(i); and if h_(i)=0 maintain B_(X,Y), but if h_(i)≠0, change the symbol value at position i of B_(X,Y).
 80. The system for finding a position according to claim 77, further comprising error correction means adapted to form a check matrix H′ by solving the equation H′T′=0; form HB_(X,Y)=h_(i); and if h_(i)=0 maintain B_(X,Y), but if h_(i)≠0, change the symbol value at position i of B_(X,Y).
 81. The system for finding a position according to claim 76, wherein the calculation means is adapted to: calculate a candidate transform matrix T for each of a set of shapes of the mask B until the thus-calculated candidate transform matrix T has a rank N=n over F_(q); and select the thus-calculated candidate transform matrix T for use in calculating the corresponding coefficients C_(X,Y) with B_(X,Y)=TC_(X,Y).
 82. The system for finding a position according to claim 77, wherein the calculation means is adapted to: calculate a candidate transform matrix T′ for each of a set of shapes of the mask B until the thus-calculated candidate transform matrix T′ has a rank N=n−j over F_(q); and select the thus-calculated candidate transform matrix T′ for use in calculating the corresponding coefficients C_(X,Y) with B_(X,Y)=T′C_(X,Y).
 83. The system for finding a position according to claim 81, wherein the calculation means is adapted to, within said set of shapes, successively increase the number m of symbol values in the mask B .
 84. The system for finding a position according to claim 82, wherein the calculation means is adapted to, within said set of shapes, successively increase the number m of symbol values in the mask B.
 85. The system for finding a position according to claim 75, which is operated repeatedly for a number of different positions of the mask B.
 86. The system for finding a position according to claim 85, wherein the calculation means is adapted to maintain the shape of the mask B and the relationship.
 87. The system for finding a position according to claim 75, wherein the calculation means is adapted to calculate the location k in the sequence S where the coefficients C equal C_(X,Y) with an algorithm for finding the discrete logarithm of k for which r_(k)≡x^(k) (mod P(x)) has the coefficients of C_(X,Y). 